-
1 формальный вывод
[lang name="Russian"]схемы вывода; механизмы вывода — inference machinery
-
2 формальный вывод
схемы вывода; механизмы вывода — inference machinery
Русско-английский словарь по информационным технологиям > формальный вывод
-
3 формальный вывод
Русско-английский большой базовый словарь > формальный вывод
-
4 формальный вывод
-
5 формальный вывод
1) Engineering: formal infeed2) Mathematics: formal deduction, formal derivation, formal inference -
6 формальный вывод
Русско-английский словарь по вычислительной технике и программированию > формальный вывод
-
7 формальный вывод
-
8 формальный вывод
formal deduction мат., formal derivationРусско-английский научно-технический словарь Масловского > формальный вывод
-
9 формальный вывод
Русско-английский политехнический словарь > формальный вывод
-
10 вывод
conclusion, deduction, inference, derivation• Второй метод вывода уравнения (1) формулируется следующим образом. - A second method of obtaining (1) is as follows.• Вывод из всего этого состоит в том, что... - The outcome of all this is that...• Другой способ вывода этих формул основан на... - Another way of deriving these formulas is based on...• Заметьте, что этот вывод не ограничен (чем-л). - Notice that this derivation is not restricted to...• Из данного обсуждения не следует делать вывод, что... -It should not be inferred from this discussion that...• Из способа вывода данного уравнения будет видно, что... - From the way in which this equation has been obtained, it will be seen that...• Можно сделать вывод, что... - It may be concluded that...; It may be deduced that...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Подробный вывод показал бы, что... - A detailed derivation would show that...• Полный вывод дается Джонсом [1]. - The derivation is given in full by Jones [1].• Похоже, что неизбежно напрашивается вывод о том, что... - There seemed no escaping the conclusion that...• Практическим выводом (из этого) является то, что... - The practical implication is that...• При выводе большинства этих свойств отправной точкой служит наблюдение, что... - In establishing most of these properties the starting point is the observation that...• При выводе данного уравнения мы использовали тот важный факт, что... - In deriving the above equation we have used the important fact that...• Результат, представленный формулой (9), очень полезен при выводе свойств (чего-л). - The result (9) is very useful for deducing properties of...• Формальный вывод (соотношения, уравнения и т. п.) дается ниже. - A formal derivation is given below.• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.• Эти два вывода совместно показывают, что... - These two results together show that...• Это приводит к выводу, что... - This carries the implication that...• Этот вывод (формулы) должен быть тщательно исследован, потому что... - The derivation should be studied closely because... -
11 вывод
1) <tech.> bushing
2) conclusion
3) consequence
4) corollary
5) deduction
6) derivation
7) development
8) <math.> inference
9) lead
10) lead-out
11) outlet
12) removal
13) result
14) termination
– анодный вывод
– вносящий вывод
– вспомогательный вывод
– вывод лампы
– вывод вносящий
– вывод данных
– вывод заземления
– вывод из работы
– вывод из эксплуатации
– вывод пучка
– вывод электрода
– делать вывод
– катодный вывод
– линейный вывод
– ложный вывод
– нулевой вывод
– пистонный вывод
– пропозиционный вывод
– результирующий вывод
– речевой вывод
– сеточный вывод
– формальный вывод
– экранированный вывод
визуальный вывод данных — visual data output
воноводный вывод энергии — waveguide output
вывод полупроводникового прибора — terminal of a semiconductor device
вывод данных в двоичной форме — binary data output
вывод данных в цифровой форме — digital data output
вывод от средней точки — centertap
делать индуктивный вывод — induce
катодный вывод полупроводникового прибора — cathode terminal
коаксиальный вывод энергии — coaxial-line output
контрольный вывод состояний — snapshot dump
непосредственный вывод на печать — <comput.> printer, PRN
-
12 формальный
-
13 формальный
(см. также верный, строгий) formal• Дадим формальное доказательство (этого). - The formal proof is as follows.•Представленное здесь рассмотрение было чисто формальным. - The treatment given here has been purely formal.• Следовательно, у нас получилось формальное решение для... - We therefore have a formal solution for...• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result.• Формальное вычисление показывает, что... - A formal calculation shows that...• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.• Формальным обоснованием того факта, что... - The formal foundation of the fact that the boundary conditions are... -
14 непосредственный вывод
1. direct derivation2. immediate inferenceРусско-английский большой базовый словарь > непосредственный вывод
-
15 пропозиционный вывод
Русско-английский военно-политический словарь > пропозиционный вывод
-
16 логический вывод
Русско-английский новый политехнический словарь > логический вывод
-
17 логический вывод
Русско-английский словарь по информационным технологиям > логический вывод
-
18 формально
1. officially2. technical3. academic4. formally5. pro forma6. proforma7. formal8. ceremonial9. regular -
19 машина логического вывода
1. inferencing engine2. inference engineсхемы вывода; механизмы вывода — inference machinery
3. inference machineРусско-английский большой базовый словарь > машина логического вывода
-
20 правило вывода
1. rule of inference2. production rule
- 1
- 2
См. также в других словарях:
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… … Математическая энциклопедия
Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин … Википедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… … Большая биографическая энциклопедия
СМИРНОВ — Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р на Волгоградской обл.), сов. философ и парт. деятель, чл. корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского… … Философская энциклопедия
СМИРНОВ Владимир Александрович — (2.03.1931, Москва 12.02.1996, Москва) логик и философ, д р философских наук, проф. Окончил философский ф т МГУ (1954) и аспирантуру того же ф та по кафедре логики (1957). С 1961 г. в Ин те философии АН СССР (РАН), с 1988 г. руководитель… … Русская Философия. Энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия
